Code Generator Testing in Practice
نویسندگان
چکیده
This paper provides an overview of a practice-oriented testing approach for code generation tools. The main application area for the testing approach presented here is the testing of optimisations performed by the code generator. The test models and corresponding test vectors generated represent an important component in a comprehensive test suite for code generators.
منابع مشابه
An automatic test case generator for evaluating implementation of access control policies
One of the main requirements for providing software security is the enforcement of access control policies which aim to protect resources of the system against unauthorized accesses. Any error in the implementation of such policies may lead to undesirable outcomes. For testing the implementation of access control policies, it is preferred to use automated methods which are faster and more relia...
متن کاملCode Generator Certification: A Test Suite-oriented Approach
Code generators are increasingly used in an industrial context to translate graphical models into executable code. Since this code is often deployed in safety-related environments, the quality of the code generators is of high importance. The use of test suites is a promising approach for gaining confidence in the code generators’ correct functioning. This paper gives an overview of such a prac...
متن کاملTUnit - Unit Testing For Template-based Code Generators
Template-based code generator development as part of model-driven development (MDD) demands for strong mechanisms and tools that support developers to improve robustness, i.e., the desired code is generated for the specified inputs. Although different testing methods have been proposed, a method for testing only parts of template-based code generators that can be employed in the early stage of ...
متن کاملModel-based test case generation for source code analyzers
Testing and verification are mandatory when it comes to creating quality software. In order to create a good testing environment, one needs to create a lot of test cases, and typically this is done by hand. This research will reduce the manual effort by creating a model-based test case generator for source code analyzers. Using this generator, creating a suite of test cases will become less eff...
متن کاملA little language for modularizing numerical PDE solvers
This paper describes a concise specification language for linear partial differential equations (PDEs) on a union of rectangles, along with three tools: a pretty-printer, TEX generator, and a code generator. The prettyprinter and TEX generator help users by allowing equations to be specified (and read) in their natural form, while the code generator allows implementors to separate their numeric...
متن کامل